TAGs: Lens equation derivation